if ( *(u32 *)bootsym(boot_edid_info) == 0x13131313 )
break;
- op->u.firmware_info.u.ddc_info.capabilities =
+ op->u.firmware_info.u.vbeddc_info.capabilities =
bootsym(boot_edid_caps);
- op->u.firmware_info.u.ddc_info.edid_transfer_time =
+ op->u.firmware_info.u.vbeddc_info.edid_transfer_time =
bootsym(boot_edid_caps) >> 8;
ret = 0;
if ( copy_field_to_guest(u_xenpf_op, op, u.firmware_info.
- u.ddc_info.capabilities) ||
+ u.vbeddc_info.capabilities) ||
copy_field_to_guest(u_xenpf_op, op, u.firmware_info.
- u.ddc_info.edid_transfer_time) ||
- copy_to_compat(op->u.firmware_info.u.ddc_info.edid,
+ u.vbeddc_info.edid_transfer_time) ||
+ copy_to_compat(op->u.firmware_info.u.vbeddc_info.edid,
bootsym(boot_edid_info), 128) )
ret = -EFAULT;
break;
uint8_t edid_transfer_time;
/* must refer to 128-byte buffer */
XEN_GUEST_HANDLE(uint8_t) edid;
- } ddc_info; /* XEN_FW_VBEDDC_INFO */
+ } vbeddc_info; /* XEN_FW_VBEDDC_INFO */
} u;
};
typedef struct xenpf_firmware_info xenpf_firmware_info_t;